ka >>= kab = Cont (\hb -> ...)